Nuprl Lemma : bool_sim_true 13,42

b:. (b = tt)  (b ~ tt) 
latex


Upsqequal 1, sqequal 1
Definitions, t  T, P  Q, x:AB(x), {T}, SQType(T)
Lemmasbtrue wf, bool wf, bool sq

origin